Baby Modula-3 and a theory of objects
نویسنده
چکیده
Baby Modula-3 is a small, functional, object-oriented programming language. It is intended as a vehicle for explaining the core of Modula-3, from a biased perspective: Baby Modula-3 includes the main features of Modula-3 related to objects, but not much else. To the theoretician, Baby Modula-3 provides a tractable, concrete example of an objectoriented language, and we use it to study the formal semantics of objects. Baby Modula-3 is de ned with a structured operational semantics and with a set of static type rules. A denotational semantics guarantees the soundness of this de nition.
منابع مشابه
Baby Modula-3 and a Theory of Objects
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing on multiple platforms, networking , programming technology, system modelling and management techniques, ...
متن کامل25. Paper: Network Objects 115 Network Objects Authors' Abstract
Handout 25. Paper: Network Objects 1 25. Paper: Network Objects The attached paper on network objects by Birrell, Nelson, Owicki, and Wobber is a fairly complete description of a working system. The main simplification is that it supports a single language, Modula 3, which is similar to Java. The paper explains most of the detail required to make the system reliable and efficient, and it gives ...
متن کاملMobile Network Objects
We describe extensions to the DEC SRC Modula-3 network objects system which support migration of network objects between address spaces. Unlike other mobile object systems, we use an existing programming language rather than inventing a new language with object mobility primitives, and we require no changes to the compiler, standard runtime library, or operating system. This paper details the d...
متن کاملCritical Mass JVM : Modula - 3 Befriends Java
s/src-tn-1997-009.html [3] Edsger W. Dijkstra. A Discipline of Programming, Pren-tice-Hall, Inc., 1976. [4] J. A. Robinson. “A Machine-Oriented Logic Based on theResolution Principle,” in Journal of the ACM, Vol. 12, No. 1,pgs 23-41, January, 1965. [5] Greg Nelson. Techniques for Program Verification, Tech-nical Report CSL-81-10, Xerox Palo Alto Research Center,June, 1981. h...
متن کاملLink-Time Optimization of Modula-3 Programs
We have implemented two link-time optimizations, data-driven simpli cation and targeted inlining, that reduce or eliminate the run-time overhead of methods and opaque objects in Modula-3 programs. To implement methods and opaque objects and to support separate compilation, the Modula-3 compiler must generate code for various run-time computations and checks. For example, the interface for an ob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993